Chaos in the Kuramoto–Sivashinsky equations—a computer-assisted proof

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Chaos in the Lorenz Equations: a Computer-assisted Proof

A new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique combines abstract existence results based on the Conley index theory with computer-assisted computations. As an application of these methods it is proven that for an explicit parameter value the Lorenz equations exhibit chaotic dynamics. Introduction The purpose of this...

متن کامل

A Computer-Assisted Proof of Σ3-Chaos in the Forced Damped Pendulum Equation

The present paper is devoted to studying Hubbard’s pendulum equation ẍ+ 10ẋ+ sin(x) = cos(t) . By rigorous/interval methods of computation, the main assertion of Hubbard on chaos properties of the induced dynamics is lifted from the level of experimentally observed facts to the level of a theorem completely proved. A distinguished family of solutions is shown to be chaotic in the sense that on ...

متن کامل

Chaos in the Lorenz equations: A computer assisted proof. Part II: Details

Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique combines abstract existence results based on the Conley index theory with rigorous computer assisted computations. As an application of these methods it is proven that for some explicit parameter values the Lorenz equations exhibit chaotic dynamics.

متن کامل

Towards Computer-Assisted Proof Tutoring

We present a recent application area of the proof assistant Ωmega, the teaching of mathematical proofs within an environment for tutorial dialog. We discuss the design of our dialog system prototype for proof tutoring in the light of the requirements imposed by its potential users. Empirical studies investigating those requirements guide the development of the system.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Differential Equations

سال: 2003

ISSN: 0022-0396

DOI: 10.1016/s0022-0396(03)00104-9